second axion of countability

【数学】第二可数公理[见 axion of countability]